Markus Göbel's Documents

Markus Göbel's Documents

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
Steuerung von Supply Chains: Strategien - Methoden - Beispiele

Steuerung von Supply Chains: Strategien - Methoden - Beispiele
Read more
Spectral methods in quantum field theory

Spectral methods in quantum field theory
Read more
Reading and Learning: Adaptive Content Recognition

Reading and Learning: Adaptive Content Recognition
Read more
Justification: Pauline Texts Interpreted in the Light of the Old and New Testaments

Justification: Pauline Texts Interpreted in the Light of the Old and New Testaments
Read more
Gehirn und Geschlecht: Neurowissenschaft des kleinen Unterschieds zwischen Frau und Mann (German Edition)

Gehirn und Geschlecht: Neurowissenschaft des kleinen Unterschieds zwischen Frau und Mann (German Edition)
Read more
Die Relativitaetstheorie Einsteins

Die Relativitaetstheorie Einsteins
Read more
Economic evaluations in exploration

Economic evaluations in exploration
Read more
Descriptional Complexity of Formal Systems - DCFS 2011

Descriptional Complexity of Formal Systems - DCFS 2011
Read more
Lehrbuch der lateinischen Syntax und Semantik

Lehrbuch der lateinischen Syntax und Semantik
Read more
Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009
Read more
Lehrbuch der lateinischen Syntax und Semantik, 4. Auflage

Lehrbuch der lateinischen Syntax und Semantik, 4. Auflage
Read more
Linear algebra and its applications

Linear algebra and its applications
Read more
Thomas Hardy: A Sourcebook (Complete Critical Guide to English Literature)

Thomas Hardy: A Sourcebook (Complete Critical Guide to English Literature)
Read more
Encyclopedia of Gay Histories and Cultures: Volume 2 (Special - Reference)

Encyclopedia of Gay Histories and Cultures: Volume 2 (Special - Reference)
Read more
The Making of Modern Europe, 1648-1780

The Making of Modern Europe, 1648-1780
Read more
Linear algebra and its applications

Linear algebra and its applications
Read more
Linear algebra and its applications

Linear algebra and its applications
Read more
Zoognozia…

Zoognozia…
Read more
Problems in Non-Linear Analysis (C.I.M.E. Summer Schools, 55)

Problems in Non-Linear Analysis (C.I.M.E. Summer Schools, 55)
Read more
An Introduction to Wood Waste in the UK

An Introduction to Wood Waste in the UK
Read more
Underbelly

Underbelly
Read more
Auvergne De Aarde En Haar Volken

Auvergne De Aarde En Haar Volken
Read more
Low dimension anomalies and solvability in higher dimensions for some perturbed Pohozaev equation

Low dimension anomalies and solvability in higher dimensions for some perturbed Pohozaev equation
Read more
Toxancyloceras gen. nov. (Ammonoidea, Ancyloceratina) un nouveau genre du Barrémien supérieur

Toxancyloceras gen. nov. (Ammonoidea, Ancyloceratina) un nouveau genre du Barrémien supérieur
Read more
Anwendung und Weiterentwicklung von schädigungs-mechanischen Ansätzen zur Simulation des Versagensverhaltens von Thermoschockproben

Anwendung und Weiterentwicklung von schädigungs-mechanischen Ansätzen zur Simulation des Versagensverhaltens von Thermoschockproben
Read more
Radiotracer Studies of Interfaces, Volume 3 (Interface Science and Technology)

Radiotracer Studies of Interfaces, Volume 3 (Interface Science and Technology)
Read more
Ordinary differential equations

Ordinary differential equations
Read more
Lecture notes on differential equations of mathematical physics

Lecture notes on differential equations of mathematical physics
Read more
Cognitive Science Perspectives on Personality and Emotion

Cognitive Science Perspectives on Personality and Emotion
Read more